The Free On-line Dictionary of Computing (30 December 2018):

inference engine

   A program that infers new facts from known facts using
   inference rules.  Commonly found as part of a Prolog
   interpreter, expert system or knowledge based system.

   (1994-11-01)